Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
- Författare
- (Edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2015 | Tyskland, Berlin, Heidelberg | XV, 640 sidor. 142 illus. in color. online resource. | 978-3-662-48899-7 |